deduction system中文是什么意思

• 演绎系统

• "deduction"中文翻译    n. 1.扣除，折扣。 2.扣除额，折扣额。 3.推论， ...
• "system"中文翻译    n. 1.体系，系统；分类法；组织；设备，装置。 2.方 ...
• "backward deduction system" 中文翻译 :    后向演绎系统; 向后演绎系统
• "completeness of deduction system" 中文翻译 :    演绎系统完备性; 演绛系统完备性
• "forward deduction system" 中文翻译 :    正向演译系统
• "hilbert-style deduction system" 中文翻译 :    希尔伯特风格演绎系统; 希尔伯特演绎系统
• "natural deduction system" 中文翻译 :    自然演绎系统
• "procedural deduction system" 中文翻译 :    过程演绎系统
• "rule based deduction system" 中文翻译 :    基于规则的演绎系统
• "rule-based deduction system" 中文翻译 :    基于规则的演译系统; 基于规则的演绎系统
• "standard deduction system" 中文翻译 :    标准演绎系统
• "backward rule-based deduction system" 中文翻译 :    基于反向规则的演绎系统
• "forward rule-based deduction system" 中文翻译 :    基于规则的正向演绎系统, 正向规则演绎系统
• "deduction" 中文翻译 :    n. 1.扣除，折扣。 2.扣除额，折扣额。 3.推论，推定；【逻辑学】演绎法 (opp. induction)。
• "additional deduction" 中文翻译 :    追加扣分
• "automatic deduction" 中文翻译 :    自动演绎
• "bark deduction" 中文翻译 :    皮厚减量
• "charitable deduction" 中文翻译 :    慈善性支出扣除
• "combination deduction" 中文翻译 :    编排扣分; 成套动作
• "counterclaim or deduction" 中文翻译 :    反索赔或扣减
• "decrease deduction" 中文翻译 :    减少分; 少减分
• "deduction (inference)" 中文翻译 :    推论，演绎
• "deduction allowance" 中文翻译 :    扣抵税款; 宽减额
• "deduction allowed" 中文翻译 :    允许的扣除
• "deduction items" 中文翻译 :    扣除项目

• Abstract operator logic and its natural deduction system
  抽象算子逻辑及其自然演绎系统
• The value analysis of the penalty deduction system and suggestions for its reform
  减刑制度的价值分析及其改革思路
• We find that , under a proportional tax deduction system , a nonzero deductible is obtained even though there are no variable costs for the insurer
  本文发现当政府对被保险人的净损失提供固定比例税赋抵减时，最适保险契约包含自负额以及共保，且当保险公司的变动成本为零时，最适自负额仍然不为零。
• This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
  引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。
• In its reform , therefore , we can begin with improving the expense deduction system through scientific measurement , referring to the practice of " standard deduction " and " exemption " for low income people in some de eloped countries and selecting households as the taxation entity , so as to ensure that households with the same income pa their fair share of tax and better follow the principle of equity of taxation
  因此个人所得税改革可以从规范费用扣除制度出发，参照20世纪80年代以来一些发达国家对低收入者采取“标准扣除” 、 “宽免”的办法，通过科学测算，健全个人所得税费用扣除制度，选择以家庭为纳税单位，力争做到相同收入的家庭纳各自相当的税，更好地体现税收的公平原则。
• Basing on the thorough research and analysis of several essential technologies , we have implemented identity authentication , illegal link , network security aduit and anti - virus detection etc . we used digital certificate to accomplish identity authentication which was based on the study and analyzing of all kinds of authentication . in regard to network security audit , we mainly researched on the distributed model of network security audit and the audit strategy of the rule library . in view of the traditional rule library ’ s flaws , with the formalizing description of audit rule , we proposed a dynamic security audit strategy model which was based on the nature deduction system
  在研究并分析各种认证技术的基础上,采用基于数字证书的认证方式,实现用户上网资格审查;针对网络安全审计,重点研究了网络安全审计分布式模型以及基于规则库的审计策略,并针对传统审计规则库的缺陷,通过对审计规则进行形式化描述,提出了一种基于自然演绎系统架构的动态安全审计策略模型dsasm ( dynamicsecurityauditstrategymodel ) ,并详细论述了该模型的定义和推演算法;通过深入研究非法外联的关键技术和检测模型,提出了基于路由表查找的c / s架构的非法外联检测模型;针对病毒检测,提出了基于主机的防病毒检测思想,在客户端进行病毒防护。